﻿<%@ Page Language="C#" AutoEventWireup="true" CodeBehind="automata.aspx.cs" Inherits="Automata.automata" %>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

<html xmlns="http://www.w3.org/1999/xhtml">
<head runat="server">
    <link href="./stylesheets/style.css" rel="Stylesheet" type="text/css" />
    <title>Simulador de un autómata finito determinista</title>
    <style type="text/css">
        #TextArea1
        {
            width: 265px;
        }
    </style>
</head>
<body>
    <div class="title">Simulador de autómata finito determinista</div>
    <div class="content">
    <form class="content_form" id="form1" runat="server">
        <div class="form">
            <fieldset>
                <legend>Autómata</legend>
                <div class="label">
                Número de estados:
                </div>
                <div class="input">
                <asp:TextBox class="input" ID="txtNumeroEstados" runat="server"></asp:TextBox>
                </div>
                <div class="label">
                Alfabeto:
                </div>
                <div class="input">
                <asp:TextBox class="input" ID="txtAlfabeto" runat="server"></asp:TextBox>
                <span class="hint">Se debe expresar como un único string Ej. 01ab indica que alfabeto = ['0','1','a','b'].
                    <span class="hint-pointer">&nbsp;</span>
                </span>
                </div>
                <div class="label">
                Estado inicial:
                </div>
                <div class="input">
                <asp:TextBox class="input" ID="txtEstadoInicial" runat="server"></asp:TextBox>
                <span class="hint">La numeración de los estados inicia en 1.
                    <span class="hint-pointer">&nbsp;</span>
                </span>
                </div>
                <div class="label">
                Estados de aceptación:
                </div>
                <div class="input">
                    <asp:TextBox class="input" ID="txtEstadosAceptacion" runat="server"></asp:TextBox>
                <span class="hint">Múltiples estados de aceptación deben separarse por un espacio. Ej. 1 3 4
                    <span class="hint-pointer">&nbsp;</span>
                </span>
                </div>
                <div class="label">
                Función de transición:
                </div>
                <div class="input">
                <asp:TextBox class="input" ID="txtFuncion" runat="server" Height="165px" TextMode="MultiLine"></asp:TextBox>
                <span class="hint">Las transiciones se expresan de la siguiente manera: <br />
                    &nbsp;&nbsp;&nbsp;&nbsp; 1 a 2 <br />
                    &nbsp;&nbsp;&nbsp;&nbsp; 1 b 1 <br />
                    &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;.&nbsp;&nbsp;.&nbsp;&nbsp;.<br />
                En el estado 1, si se recibe el caracter 'a', ir al estado 2. Si se recibe el caracter 'b', ir al estado 1, etc.
       
                    <span class="hint-pointer">&nbsp;</span>
                </span>
                </div>
            </fieldset>
            <br />
            <fieldset>
                <legend>Evaluación</legend>
                <div class="label">
                String a evaluar:
                </div>
                <div class="input">
                <asp:TextBox class="input" ID="txtString" runat="server"></asp:TextBox>
                </div>
                <div class="input">
                <asp:Button ID="Button1" runat="server" onclick="btnEvaluar_Click" 
                            Text="Evaluar" />
                <br />
                <asp:Label ID="lblResultado" runat="server"></asp:Label>
                </div>
            </fieldset>
        </div><!-- form div-->
    </form>
    <div class="result">
        <form action="automata.aspx">
        <fieldset>
            <legend>Resultado</legend>
            <asp:Label ID="resultLabel" runat="server">El resultado de la evaluación aparecerá en este recuadro.</asp:Label>
        </fieldset>
        </form>
    </div>
    </div><!--content-->
</body>
</html>
